dimap f id . pi = dimap id f . pi